1. Hyperproof ]for the Macintosh[
Author: John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
Classification :
P
25
.
C28
No
.
42
